|
Correct-by-Construction Adaptive Cruise Control: Two Approaches |
||||
| APA | Correct-by-Construction Adaptive Cruise Control: Two Approaches. IEEE Transactions on Control Systems Technology , , . | ||||
| MLA | . "Correct-by-Construction Adaptive Cruise Control: Two Approaches". IEEE Transactions on Control Systems Technology : . | ||||
| Harvard | , . Correct-by-Construction Adaptive Cruise Control: Two Approaches. IEEE Transactions on Control Systems Technology, , . | ||||
| Chicago | . "Correct-by-Construction Adaptive Cruise Control: Two Approaches" IEEE Transactions on Control Systems Technology, (): . | ||||